The package layer reads the loaded file stream and, if it is in XML format, the DOM layer parses the stream according to the ODF specification and constructs the DOM tree in memory. 包层读取装载的文件流。如果文件流是XML格式的,DOM层就根据ODF规范解析它并在内存中构造DOM树。
The WSIL specification provides a powerful way to access existing services; however, WSIL documents might contain references to other WSIL documents creating an n-level WSIL document tree. WSIL规范为访问现存的服务提供了强有力的方式;然而,WSIL文档可能包含一些对其它WSIL文档的引用,这些文档能创建n层WSIL文档树。
Examining the words used in the specification reveals that while the component tree is restored on a postback, the backing bean data used by those components is not restored. 仔细研究规范中的用词可以发现,虽然在postback上恢复了组件树,但是那些组件使用的backingbean数据并没有被恢复。
Using the WS-Notification specification, which defines a business message as a SOAPElement ( an XML tree), requires a different approach to interface definition. WS-Notification规范将业务消息定义为SOAPElement(XML树),如果使用此规范,则需要采用不同的方法处理接口定义。
A hierarchy has also a primary specification defining the common set of attributes for each category in the hierarchy tree. 层次结构也有一个主规格,它定义这个层次结构树中所有目录共有的属性。
Then the specification is described in computation tree logic ( CTL) or linear temporal logic ( LTL) formula. 其次,验证规范通过可计算树逻辑(CTL)或线性时态逻辑公式(LTL)表示出来。
Based on Hierons ′ s rewrite rules and Z specification, a tree split arithmetic was presented to rewrite the restriction predication in Operation Scheme to ∨ iP_i ∧ Q_i disjunctive normal form. 该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;
Compatible with Oracle PL/ SQL V2.3 specification, intermediate code of stored procedure is expressed by syntax tree and function manager is designed based on a database management system GKD-Base PL/ SQL engine. 该文兼容OraclePL/SQLV2.3语言规范,在数据库管理系统GKD-BasePL/SQL引擎上,采用语法树表示存储过程的中间代码,并设计了函数管理器。
Test Case Design Based on Formal Specification and Classification-tree Method 基于形式规格说明和分类树方法生成软件测试用例
Specification is an important dynamical property, and it is equivalent to topological mixing for continuous mapping on the interval and the tree, and for the continuous map of compact metric space, POTP and topological mixing imply weak specification. specification性质是一种重要的动力性质,对连续的区间映射和树映射,该性质与拓扑混合等价。对紧致度量空间,满足POTP性质的拓扑混合映射具有specification性质。
This paper addresses the semi-structured query rewriting problem for TSL ( tree specification language), a language for querying semi-structured data. 研究了基于半结构化数据查询语言TSL(TreeSpecificationLanguage)的查询重写问题。
Classification of the part feature is done based on the geometry. Then this paper discusses a simplified process of the additional features based on the CATIA history specification tree and analyzes the name semantic of part. 基于几何形状对零件特征进行分类,然后探讨基于CATIA历史特征树的辅助特征的简化处理过程。